Markov Logics Based Automated Business Requirements Analysis

نویسندگان

چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Automated Integrative Analysis of State-based Requirements

Statically analyzing requirements specifications to assure that they possess desirable properties is an important activity in any rigorous software development project. The analysis is performed on an abstraction of the original requirements specification. Abstractions in the model may lead to spurious errors in the analysis output. Spurious errors are conditions that are reported as errors, bu...

متن کامل

Semantic Business Process Management: A Lifecycle Based Requirements Analysis

Despite of increasing software support for Business Process Management (BPM), currently there is still a low degree of automation in the BPM lifecycle, especially when it comes to bridge between the business and IT view on business processes. The goal of Semantic Business Process Management is to achieve more automation in BPM by using semantic technologies. In this paper, we describe on a conc...

متن کامل

Data Warehouse Requirements Analysis Framework: Business-Object Based Approach

Detailed requirements analysis plays a key role towards the design of successful Data Warehouse (DW) system. The requirements analysis specifications are used as the prime input for the construction of conceptual level multidimensional data model. This paper has proposed a Business Object based requirements analysis framework for DW system which is supported with abstraction mechanism and reuse...

متن کامل

Automated analysis of security requirements through risk-based argumentation

Computer-based systems are increasingly being exposed to evolving security threats, which often reveal new vulnerabilities. A formal analysis of the evolving threats is difficult due to a number of practical considerations such as incomplete knowledge about the design, limited information about attacks, and constraints on organisational resources. In our earlierwork onRISA (RIsk assessment in S...

متن کامل

Automated Health Business Process Modelling and Analysis for E-Health System Requirements Elicitation

e-Health is a rising research area in the intersection of public health and business sectors which refers to health and information services that are delivered or improved by using the Internet and other related information and communication technologies. Various aspects of e-Health are discussed in the literature; however, there is a research gap in the areas of system requirements engineering...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: International Journal of Computer and Electrical Engineering

سال: 2010

ISSN: 1793-8163

DOI: 10.7763/ijcee.2010.v2.181